<html>
<head><meta charset="utf-8"><title>bikesheed libs-impl or T-libs-impl · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html">bikesheed libs-impl or T-libs-impl</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="198385576"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198385576" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198385576">(May 21 2020 at 22:30)</a>:</h4>
<p>kind of a bikesheed here, but I see that we have <code>libs-impl</code> and the rest of the "teams" are really called <code>T-something</code>, I wonder if we should rename this to <code>T-libs-impl</code></p>



<a name="198385729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198385729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198385729">(May 21 2020 at 22:31)</a>:</h4>
<p>I don't have a concrete need more than making more explicit that this is kind of a team which today happens to be under <code>T-compiler</code> control but in the way we are handling tags I see this like a team</p>



<a name="198385990"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198385990" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198385990">(May 21 2020 at 22:34)</a>:</h4>
<p>at some point it could help in searches like <code>T-*</code> or stuff like that but what I also want to avoid is issues with <code>T-compiler</code> and <code>libs-impl</code> together as it happened today because doing that kind of breaks prioritization flow</p>



<a name="198393095"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198393095" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Yuki Okushi <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198393095">(May 21 2020 at 23:58)</a>:</h4>
<p>It's definitely useful to have <code>T</code> prefix for triaging, though it isn't _team_ directly. So, if we consider it as T-libs or T-compiler related item, then I'd +1 for this idea.</p>



<a name="198393422"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198393422" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198393422">(May 22 2020 at 00:03)</a>:</h4>
<p>i agree T-libs-impl sounds better <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="198438599"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198438599" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198438599">(May 22 2020 at 13:05)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="116083">@pnkfelix</span></p>



<a name="198845927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198845927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198845927">(May 27 2020 at 03:14)</a>:</h4>
<p>I think T-libs-impl is confusing. We don’t have a libs-impl team.</p>



<a name="198845955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198845955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198845955">(May 27 2020 at 03:14)</a>:</h4>
<p>If anything, it should be, what, an “area”, like A-libs-impl?</p>



<a name="198845961"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198845961" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198845961">(May 27 2020 at 03:15)</a>:</h4>
<p>But that’s only if we think a prefix is warranted at all....</p>



<a name="198846012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198846012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198846012">(May 27 2020 at 03:16)</a>:</h4>
<p>I see that <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> says we are treating libs-impl like a team, but I guess I would like more explanation of that?</p>



<a name="198875958"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198875958" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Yuki Okushi <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198875958">(May 27 2020 at 10:57)</a>:</h4>
<p>indeed <code>A-libs-impl</code> is more reasonable to me.<br>
<span class="user-mention" data-user-id="116083">@pnkfelix</span> so, my concern is that the issues labeled with <code>libs-impl</code> don't have any <code>T</code>-prefixed labels, I guess we could add <code>T-compiler</code> to the most issues now, right?</p>



<a name="198885273"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198885273" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198885273">(May 27 2020 at 12:47)</a>:</h4>
<p>hmmm I guess it depends on how you look at this issue, we could say that we do have a libs-impl team which is actually composed by T-compiler members</p>



<a name="198885352"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198885352" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198885352">(May 27 2020 at 12:48)</a>:</h4>
<p>I don't care that much about that to be honest but what <span class="user-mention" data-user-id="217081">@Yuki Okushi</span> raised is the main discussion I think</p>



<a name="198885410"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198885410" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198885410">(May 27 2020 at 12:49)</a>:</h4>
<p>how do we want exactly to label things and how wg-prioritization is going to adapt to the labelling system we decide to use</p>



<a name="198885414"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198885414" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198885414">(May 27 2020 at 12:49)</a>:</h4>
<p>I agree that we should add <code>T-compiler</code> so we can filter (for example <code>I-nominated</code> + <code>T-compiler</code>) when preparing meetings</p>



<a name="198885515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198885515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198885515">(May 27 2020 at 12:50)</a>:</h4>
<p>well that or as we are already doing which is doing queries with <code>I-nominated</code> + <code>T-compiler</code> and <code>I-nominated</code> + <code>libs-impl</code></p>



<a name="198885545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198885545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198885545">(May 27 2020 at 12:50)</a>:</h4>
<p>Right, but it complicates the queries</p>



<a name="198885554"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198885554" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198885554">(May 27 2020 at 12:50)</a>:</h4>
<p>It depends on how we want to organize the meeting I think</p>



<a name="198885582"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198885582" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198885582">(May 27 2020 at 12:51)</a>:</h4>
<p>well yeah, not really complicated though :P, but one thing about splitting queries is that we can also split the sections of the agenda</p>



<a name="198885592"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198885592" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198885592">(May 27 2020 at 12:51)</a>:</h4>
<p>Whether we want to consider <code>libs-impl</code> separately or not</p>



<a name="198885605"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198885605" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198885605">(May 27 2020 at 12:51)</a>:</h4>
<p>like let's now focus on the compiler nominations and then let's focus on the libs impl nominations</p>



<a name="198885629"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198885629" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198885629">(May 27 2020 at 12:51)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl/near/198885592">said</a>:</p>
<blockquote>
<p>Whether we want to consider <code>libs-impl</code> separately or not</p>
</blockquote>
<p>exactly, otherwise everything is mixed up</p>



<a name="198885750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198885750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198885750">(May 27 2020 at 12:52)</a>:</h4>
<p>we could also have both labels and split anyway, queries would be t-compiler + libs-impl and t-compiler - libs-impl</p>



<a name="198885782"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198885782" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198885782">(May 27 2020 at 12:52)</a>:</h4>
<p>and we can also automatically tag with t-compiler things that are tagged with libs-impl</p>



<a name="198885813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198885813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198885813">(May 27 2020 at 12:52)</a>:</h4>
<p>I guess we just want to define how do we want to do this</p>



<a name="198885832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198885832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198885832">(May 27 2020 at 12:53)</a>:</h4>
<p>to be honest I'm neutral but we need to properly define this :)</p>



<a name="198885862"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198885862" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198885862">(May 27 2020 at 12:53)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="116083">@pnkfelix</span></p>



<a name="198888510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198888510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198888510">(May 27 2020 at 13:16)</a>:</h4>
<p>Unless we were to state that we <em>have</em> a T-libs-impl team, and set up infrastructure for it (e.g. a GitHub user group), I continue to have the same position that I posed up above. We can make the wg-prioritization queries smart enough to deal with whatever name we choose here.</p>



<a name="198888575"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198888575" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198888575">(May 27 2020 at 13:16)</a>:</h4>
<p>My concern is for the UX for people <em>not</em> on the wg-prioritization who are trying to understand the labels</p>



<a name="198888580"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198888580" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198888580">(May 27 2020 at 13:16)</a>:</h4>
<p>And <del>add</del> maintain them accordingly</p>



<a name="198888760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198888760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198888760">(May 27 2020 at 13:18)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> yeah you're right and this sounds good!</p>



<a name="198888790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198888790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198888790">(May 27 2020 at 13:19)</a>:</h4>
<p>let's stick with <code>libs-impl</code> or <code>A-libs-impl</code>, I'm ok with whatever name we want</p>



<a name="198888855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198888855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198888855">(May 27 2020 at 13:19)</a>:</h4>
<p>now the question is ... do we want <code>T-compiler</code> + <code>libs-impl</code> or just <code>libs-impl</code>?</p>



<a name="198889003"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889003" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889003">(May 27 2020 at 13:20)</a>:</h4>
<p>I think overall <code>T-compiler</code> + <code>libs-impl</code> is more flexible</p>



<a name="198889067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889067">(May 27 2020 at 13:21)</a>:</h4>
<p>if <span class="user-mention" data-user-id="116083">@pnkfelix</span> agrees on this I'd add to triagebot the ability to automatically add <code>T-compiler</code> labels to things that are <code>libs-impl</code></p>



<a name="198889217"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889217" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889217">(May 27 2020 at 13:23)</a>:</h4>
<p>That sounds reasonable to me</p>



<a name="198889273"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889273" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889273">(May 27 2020 at 13:23)</a>:</h4>
<p>If I remove T-compiler, will it put it back?</p>



<a name="198889357"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889357" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889357">(May 27 2020 at 13:24)</a>:</h4>
<p>Seems feasible to me</p>



<a name="198889363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889363">(May 27 2020 at 13:24)</a>:</h4>
<p>I’m namely thinking of the (rare) scenario where I <em>dont</em> want T-compiler on it. Eg if we want to nominate it for T-libs discussion</p>



<a name="198889386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889386">(May 27 2020 at 13:24)</a>:</h4>
<p>I wasn’t clear: I don’t want the bot to put it back. :)</p>



<a name="198889398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889398">(May 27 2020 at 13:24)</a>:</h4>
<p>yeah it won't</p>



<a name="198889442"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889442" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889442">(May 27 2020 at 13:25)</a>:</h4>
<p>Well we can do both :D</p>



<a name="198889467"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889467" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889467">(May 27 2020 at 13:25)</a>:</h4>
<p>what both means?</p>



<a name="198889549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889549">(May 27 2020 at 13:26)</a>:</h4>
<p>I meant that we can decide how we want to implement it</p>



<a name="198889558"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889558" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889558">(May 27 2020 at 13:26)</a>:</h4>
<p>Sorry, that was unclear</p>



<a name="198889585"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889585" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889585">(May 27 2020 at 13:26)</a>:</h4>
<p>I still don't get what you mean :)</p>



<a name="198889617"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889617" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889617">(May 27 2020 at 13:26)</a>:</h4>
<p>you meant, if the bot keeps adding the label regardless Felix wants to remove it?</p>



<a name="198889625"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889625" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889625">(May 27 2020 at 13:26)</a>:</h4>
<p><span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span></p>



<a name="198889670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889670">(May 27 2020 at 13:27)</a>:</h4>
<p>if it was april 1st we could totally do <code>if pnkfelix then add_label_back</code> <span aria-label="joy" class="emoji emoji-1f602" role="img" title="joy">:joy:</span> <span aria-label="smiling devil" class="emoji emoji-1f608" role="img" title="smiling devil">:smiling_devil:</span></p>



<a name="198889695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889695">(May 27 2020 at 13:27)</a>:</h4>
<p>I wanted to say that we could choose either to add it back or not</p>



<a name="198889802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889802">(May 27 2020 at 13:28)</a>:</h4>
<p>yeah what I was trying to say is that in the usual way we are implementing this, the label is not re-added</p>



<a name="198889817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889817">(May 27 2020 at 13:28)</a>:</h4>
<p>we have this for <code>I-prioritize</code> and regressions already</p>



<a name="198889846"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889846" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889846">(May 27 2020 at 13:28)</a>:</h4>
<p>Right, but <code>I-prioritize</code> is a bit special</p>



<a name="198889864"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889864" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889864">(May 27 2020 at 13:28)</a>:</h4>
<p>right</p>



<a name="198889891"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889891" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889891">(May 27 2020 at 13:29)</a>:</h4>
<p>We might want a general functionality to add labels when certain labels are added</p>



<a name="198889910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889910">(May 27 2020 at 13:29)</a>:</h4>
<p>To extract this functionality from the prioritize functionality</p>



<a name="198889915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889915">(May 27 2020 at 13:29)</a>:</h4>
<p>agreed</p>



<a name="198889922"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198889922" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198889922">(May 27 2020 at 13:29)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="116122">@simulacrum</span></p>



<a name="198890025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198890025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198890025">(May 27 2020 at 13:30)</a>:</h4>
<p>we have already a bunch and I also want to do <code>I-unsound</code> and not <code>requires-nightly</code> then add <code>I-prioritize</code></p>



<a name="198890140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198890140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198890140">(May 27 2020 at 13:31)</a>:</h4>
<p>I'd say we need a mapping from a list of patterns of labels to one or maybe a set of labels</p>



<a name="198890154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198890154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198890154">(May 27 2020 at 13:31)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="198890283"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198890283" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198890283">(May 27 2020 at 13:32)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> do you want to implement this or do I want to implement this?</p>



<a name="198890284"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198890284" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198890284">(May 27 2020 at 13:32)</a>:</h4>
<p>:P</p>



<a name="198891355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198891355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198891355">(May 27 2020 at 13:41)</a>:</h4>
<p>more ideas ... we need to ping cleanup whenever  <code>E-needs-bisection</code> or <code>E-needs-mcve</code> are added</p>



<a name="198891368"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198891368" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198891368">(May 27 2020 at 13:41)</a>:</h4>
<p>probably something similar exists for LLVM</p>



<a name="198891395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198891395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198891395">(May 27 2020 at 13:41)</a>:</h4>
<p>basically I guess we could get rid of the command and just have a label doing the job</p>



<a name="198891444"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198891444" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198891444">(May 27 2020 at 13:41)</a>:</h4>
<p>We could use the Cleanup label then <span aria-label="shrug" class="emoji emoji-1f937" role="img" title="shrug">:shrug:</span></p>



<a name="198891505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198891505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198891505">(May 27 2020 at 13:42)</a>:</h4>
<p>we could totally unify most of our commands under labels</p>



<a name="198891569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198891569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198891569">(May 27 2020 at 13:42)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl/near/198891444">said</a>:</p>
<blockquote>
<p>We could use the Cleanup label then <span aria-label="shrug" class="emoji emoji-1f937" role="img" title="shrug">:shrug:</span></p>
</blockquote>
<p>right, but then we would want <code>E-needs-bisection</code> and <code>E-needs-mcve</code> to add <code>Cleanup</code> label too :P</p>



<a name="198891621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198891621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198891621">(May 27 2020 at 13:42)</a>:</h4>
<p>those labels will add <code>Cleanup</code> and <code>Cleanup</code> addition will fire the command, hehe</p>



<a name="198891630"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198891630" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198891630">(May 27 2020 at 13:42)</a>:</h4>
<p>This might be the best solution</p>



<a name="198891655"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198891655" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198891655">(May 27 2020 at 13:43)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="198891840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198891840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198891840">(May 27 2020 at 13:44)</a>:</h4>
<p>Else we might trigger the command twice due to adding <code>E-needs-bisection</code> then <code>E-needs-mcve</code></p>



<a name="198891861"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198891861" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198891861">(May 27 2020 at 13:44)</a>:</h4>
<p>Anyway</p>



<a name="198891890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198891890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198891890">(May 27 2020 at 13:44)</a>:</h4>
<p><span aria-label="bike" class="emoji emoji-1f6b2" role="img" title="bike">:bike:</span></p>



<a name="198892296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198892296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198892296">(May 27 2020 at 13:47)</a>:</h4>
<p>we would need to check and fire once I guess :)</p>



<a name="198892364"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198892364" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198892364">(May 27 2020 at 13:47)</a>:</h4>
<p>If we fire when the label is added we won't add the label if it is already there, right?</p>



<a name="198892477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198892477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198892477">(May 27 2020 at 13:48)</a>:</h4>
<p>So GitHub's label system would prevent the mistake <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="198894583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198894583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198894583">(May 27 2020 at 14:02)</a>:</h4>
<p>hmm I think it kind of re-adds it, not 100% sure though</p>



<a name="198894611"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198894611" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198894611">(May 27 2020 at 14:02)</a>:</h4>
<p>I'd prevert this to happen from our code</p>



<a name="198894676"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/bikesheed%20libs-impl%20or%20T-libs-impl/near/198894676" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/bikesheed.20libs-impl.20or.20T-libs-impl.html#198894676">(May 27 2020 at 14:02)</a>:</h4>
<p>Of course <span aria-label="big smile" class="emoji emoji-1f604" role="img" title="big smile">:big_smile:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>